Modeling of Multiagent Based Railway System using BDI Logic

نویسندگان

  • Ankit Bhardwaj
  • Supriyo Ghosh
  • Animesh Dutta
چکیده

Multi-Agent based modeling & simulation is an evolving paradigm for solving real life problems for solving real life problems for the last one decade. In this paper, we model the manually controlled Indian Railway to a multi agent based automated system which is robust in nature and provide a fully automated collision avoidance guarantee. We consider individual entity such as station, junction and train as an agent and the whole railway network is framed as a graph. To sharpen the solutions of existing system ́s problems such as collisions and delays, BDI agent with first order predicate logic is incorporated in this paper. The communication and coordination between respective agents (with help of their BDI and rule base running as backbone) can now be a substitution in place of manual decisions. Thus the idea can replace the hectic job of railway control room personals in more sophisticated & methodical way. Keywords—Agent, Multiagent Technology, BDI Logic, Predicate Logic, Railway Management, Distributed System.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Interaction Modal Logic for multiagent systems based on BDI architecture

The purpose of this paper is to develop a conceptual model of multiagent system composed of a set of BDI agents based on role modeling and modal logic of interaction. Agents perform actions taking roles within a scenario that obeys a plan conformed for a set of goals and establishes relations between the participants. These plans and relations define interactions between agents. All interaction...

متن کامل

Fuzzy Logic-Based Vector Control of Permanent Magnet Synchronous Motor Using Stacked Matrix Converter for Railway Traction Applications

Recently, Permanent Magnet Synchronous Motors (PMSMs) have been widely accepted and employed in traction and railway transportation applications due to their various advantages such as small inertia, high efficiency and high torque density. In this paper, in order to use these motors as traction drives in an effective way, the vector control scheme is employed. In this strategy, the stator curr...

متن کامل

Complexity of multiagent BDI logics with restricted modal context

We present and discuss a novel language restriction for modal logics for multiagent systems that can reduce the complexity of the satisfiability problem from EXPTIME-hard to NPTIME-complete. In the discussion we focus on a particular BDI logic, called TeamLog, which is a logic for modelling cooperating groups of agents and which possesses some of the characteristics typical to other BDI logics....

متن کامل

Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents

This paper describes an ongoing project that involves DISI, the Computer Science Department of Genova University, and Ansaldo Segnalamento Ferroviario, the Italian leader in design and construction of signalling and automation systems for railway lines. We are implementing a multiagent system that monitors processes running in a railway signalling plant, detects functioning anomalies, provides ...

متن کامل

BDI : An Alternating-time BDI Logic for Multiagent Systems

Many logics for modelling beliefs, desires and intentions of agents, such as Rao and Georgeff’s BDI logic and Wooldridge’s LORA, are based on temporal logics like CTL/CTL∗ (Computational Tree Logic) in which the structure of time is branching in the future and linear in the past. Recently, many attempts have been made to define logics for BDI agents by using extensions of CTL. In this paper, we...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013